Results for 'Eduardo Fermé João Leite'

951 found
Order:
  1.  19
    Research as praxis.Eduardo Vianna, João Otavio Garcia & Andre Leite - 2022 - Outlines. Critical Practice Studies 23 (1).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. Risco Epistêmico.Eduardo Alves, João Fett & Vinícius Felipe Posselt - 2025 - Veritas – Revista de Filosofia da Pucrs 70 (1):e46598. Translated by Eduardo Alves, Vinicius Felipe Posselt & João Fett.
    Este texto é uma tradução do artigo “Epistemic Risk” (2016) de Duncan Pritchard, em que ele argumenta em favor de uma teoria modal do risco e lança as bases de uma epistemologia antirrisco. O objetivo de Pritchard nesse artigo é duplo: primeiro, ele argumenta que a sua teoria modal do risco é uma extensão natural da sua teoria modal da sorte, desenvolvida em trabalhos anteriores; segundo, ao utilizar sua teoria modal do risco para chegar a uma epistemologia antirrisco, Pritchard argumenta (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  98
    Multiple kernel contraction.Eduardo Fermé, Karina Saez & Pablo Sanz - 2003 - Studia Logica 73 (2):183 - 195.
    This paper focuses on the extension of AGM that allows change for a belief base by a set of sentences instead of a single sentence. In [FH94], Fuhrmann and Hansson presented an axiomatic for Multiple Contraction and a construction based on the AGM Partial Meet Contraction. We propose for their model another way to construct functions: Multiple Kernel Contraction, that is a modification of Kernel Contraction, proposed by Hansson [Han94] to construct classical AGM contractions and belief base contractions. This construction (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  4.  72
    Belief Change: Introduction and Overview.Eduardo Fermé & Sven Ove Hansson - 2018 - Springer Verlag.
    This book explains how the logic of theory change employs formal models in the investigation of changes in belief states and databases. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original framework, iterated change, applications of the model, its connections with other formal frameworks, and criticism of the model.
    No categories
  5.  68
    Semi-Contraction: Axioms and Construction.Eduardo Fermé & Ricardo Rodriguez - 1998 - Notre Dame Journal of Formal Logic 39 (3):332-345.
    Semi-contraction is a withdrawal operation defined by Fermé in "On the logic of theory change: Contraction without recovery." In this paper we propose: (1) an axiomatic characterization of semi-contraction; (2) an alternative construction for semi-contraction based on semi-saturatable sets, inspired by Levi's saturatable sets; (3) a special kind of semi-contraction that satisfies the Lindström and Rabinowicz interpolation thesis.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  6.  24
    Revision by Comparison.Eduardo Fermé & Hans Rott - 2004 - Artificial Intelligence 157 (1):5-47.
    Since the early 1980s, logical theories of belief revision have offered formal methods for the transformation of knowledge bases or “corpora” of data and beliefs. Early models have dealt with unconditional acceptance and integration of potentially belief-contravening pieces of information into the existing corpus. More recently, models of “non-prioritized” revision were proposed that allow the agent rationally to refuse to accept the new information. This paper introduces a refined method for changing beliefs by specifying constraints on the relative plausibility of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  7. Selective revision.Eduardo L. Fermé & Sven Ove Hansson - 1999 - Studia Logica 63 (3):331-342.
    We introduce a constructive model of selective belief revision in which it is possible to accept only a part of the input information. A selective revision operator ο is defined by the equality K ο α = K * f(α), where * is an AGM revision operator and f a function, typically with the property ⊢ α → f(α). Axiomatic characterizations are provided for three variants of selective revision.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  8. AGM 25 Years: Twenty-Five Years of Research in Belief Change.Eduardo Fermé & Sven Ove Hansson - 2011 - Journal of Philosophical Logic 40 (2):295-331.
    The 1985 paper by Carlos Alchourrón, Peter Gärdenfors, and David Makinson, “On the Logic of Theory Change: Partial Meet Contraction and Revision Functions” was the starting-point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases. In this review, the first twenty-five years of this development are summarized. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  9.  35
    Applications of logical approaches to argumentation.João Leite, Tran Cao Son, Paolo Torroni & Stefan Woltran - 2015 - Argument and Computation 6 (1):1-2.
  10.  78
    System of Spheres-based Multiple Contractions.Eduardo Fermé & Maurício D. L. Reis - 2012 - Journal of Philosophical Logic 41 (1):29-52.
    We propose a new class of multiple contraction operations — the system of spheres-based multiple contractions — which are a generalization of Grove’s system of spheres-based (singleton) contractions to the case of contractions by (possibly non-singleton) sets of sentences. Furthermore, we show that this new class of functions is a subclass of the class of the partial meet multiple contractions.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  11.  57
    Epistemic entrenchment-based multiple contractions.Eduardo Fermé & Maurício D. L. Reis - 2013 - Review of Symbolic Logic 6 (3):460-487.
    In this article we present a new class of multiple contraction functionswhich are a generalization of the epistemic entrenchment-based contractions (Grdenfors & Makinson, 1988) to the case of contractions by (possibly nonsingleton) sets of sentences and provide an axiomatic characterization for that class of functions. Moreover, we show that the class of epistemic entrenchment-based multiple contractions coincides with the class of system of spheres-based multiple contractions introduced in Fermé & Reis (2012).
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  47
    Brazilian Normative Data on Letter and Category Fluency Tasks: Effects of Gender, Age, and Geopolitical Region.Izabel Hazin, Gilmara Leite, Rosinda M. Oliveira, João C. Alencar, Helenice C. Fichman, Priscila D. N. Marques & Claudia Berlim de Mello - 2016 - Frontiers in Psychology 7:174882.
    Verbal fluency is a basic function of language that refers to the ability to produce fluent speech. Despite being an essentially linguistic function, its measurements are also used to evaluate executive aspects of verbal behavior. Performance in verbal fluency (VF) tasks varies according to age, education, and cognitive development. Neurodevelopmental disorders that affect the functioning of frontal areas tend to cause lower performance in VF tasks. Despite the relative consensus that has been reached in terms of the use of VF (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  12
    Grandes temas da atualidade: bioética e biodireito.Eduardo de Oliveira Leite & Adriana Cristine Arent (eds.) - 2004 - Rio de Janeiro: Editora Forense.
    Estuda de forma multidisciplinar a bioética e o biodireito, em face dos avanços provocados pela biotecnologia na área jurídica e metajurídica.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14. Mangueira, suas ratas são uma beleza!João Araújo Maia & Eduardo Bianchi - 2008 - Logos: Comuniação e Univerisdade 15 (2):19-29.
    Falaremos de uma cidadania criativa que se configura lentamente na sociedade contemporânea. Consumo, beleza, vaidade, moda e corpo são elementos que irão fazer o campo da cultura refletir sobre conceitos que estavam, por muito tempo, sedimentados no campo da Comunicação. As jovens mulheres que se autointitulam “ratas” e seu estilo de vida nos guiaram para problematizar questões relativas às sociabilidades comunitárias e à cidadania cultural. Este trabalho faz uma imersão de campo na comunidade na favela da Candelária, na Mangueira, Rio (...)
    No categories
     
    Export citation  
     
    Bookmark  
  15.  14
    A temática étnico-racial em pauta: ações do NEABI - Ibirama em um ano atípico.Amália Cardona Leites & Carlos Eduardo Bartel - 2022 - Odeere 7 (2):174-187.
    O presente artigo apresenta um relato de experiência das ações extensionistas promovidas no ano de 2021 pelo Núcleo de Estudos Afro-brasileiros e Indígenas (NEABI) do Campus Ibirama da Instituto Federal Catarinense. Devido ao contexto de pandemia de COVID-19, que perdurou durante quase todo o ano letivo de 2021, as atividades do Núcleo precisaram ser adaptadas para que ocorressem em ambientes virtuais. Apesar desta adequação forçada, que limitou em grande medida a diversidade das ações, foi possível identificar tanto o promissor potencial (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  46
    O Uso Dos Studia Humanitatis No Pensamento de Giambattista Vico.Eduardo Leite Neto - 2023 - Kínesis - Revista de Estudos Dos Pós-Graduandos Em Filosofia 15 (38):161-173.
    O objetivo deste artigo é fomentar o debate acerca da relação entre o pensamento do filósofo napolitano Giambattista Vico (1668-1744) e as disciplinas da chamada Studia humanitatis. A partir das reflexões sobre a natureza humana, sobretudo na sua maior obra, a Scienza Nuova, é possível identificar uma grande articulação com as grandes disciplinas das humanidades, como o Direito, Filologia, História, Literatura, Poesia e Retórica. Este empenho multidisciplinar conduziu o filósofo a configurar um compêndio de discussões que vão desde a questão (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  26
    On the Logic of Theory Change : Extending the AGM Model.Eduardo Fermé - 2011 - Dissertation, Royal Institute of Technology, Stockholm
    This thesis consists in six articles and a comprehensive summary. • The pourpose of the summary is to introduce the AGM theory of belief change and to exemplify the diversity and significance of the research that has been inspired by the AGM article in the last 25 years. The research areas associated with AGM was divided in three parts: criticisms, where we discussed some of the more common criticisms of AGM. Extensions where the most common extensions and variations of AGM (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  94
    Credibility limited revision.Sven Hansson, Eduardo Ferme, John Cantwell & Marcelo Falappa - 2001 - Journal of Symbolic Logic 66 (4):1581-1596.
    Five types of constructions are introduced for non-prioritized belief revision, i.e., belief revision in which the input sentence is not always accepted. These constructions include generalizations of entrenchment-based and sphere-based revision. Axiomatic characterizations are provided, and close interconnections are shown to hold between the different constructions.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  19.  5
    Tecnologia de geolocalização: Grindr e Scruff redes geosociais gays.João Maia & Eduardo Bianchi - 2014 - Logos: Comuniação e Univerisdade 2 (24).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  12
    Knowledge-driven profile dynamics.Eduardo Fermé, Marco Garapa, Maurício D. L. Reis, Yuri Almeida, Teresa Paulino & Mariana Rodrigues - 2024 - Artificial Intelligence 331 (C):104117.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  54
    DFT and belief revision.Eduardo Fermé & Ricardo Rodríguez - 2006 - Análisis Filosófico 26 (2):373-393.
    Alchourrón devoted his last years to the analysis of the notion of defeasible conditionalization. He developed a formal system capturing the essentials of this notion. His definition of the defeasible conditional is given in terms of strict implication operator and a modal operator f which is interpreted as a revision function at the language level. In this paper, we will point out that this underlying revision function is more general than the well known AGM revision [4]. In addition, we will (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  28
    A unifying perspective on knowledge updates.Martin Slota & João Leite - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin, Logics in Artificial Intelligence. Springer. pp. 372--384.
  23.  8
    Reconceptualization as a Tool of Critical Practice.João Otavio Garcia & Eduardo Vianna - 2024 - Outlines. Critical Practice Studies 24 (1):1-3.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  28
    Mechanical, Physiological, and Perceptual Demands of Repeated Power Ability Lower-Body and Upper-Body Tests in Youth Athletes: Somatic Maturation as a Factor on the Performance.Jorge Arede, Nuno Leite, Ben Bradley, Marc Madruga-Parera, Eduardo Saéz de Villarreal & Oliver Gonzalo-Skok - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  60
    Possible Worlds Semantics for Partial Meet Multiple Contraction.Maurício D. L. Reis & Eduardo Fermé - 2012 - Journal of Philosophical Logic 41 (1):7-28.
    In the logic of theory change, the standard model is AGM, proposed by Alchourrón et al. (J Symb Log 50:510–530, 1985 ). This paper focuses on the extension of AGM that accounts for contractions of a theory by a set of sentences instead of only by a single sentence. Hansson (Theoria 55:114–132, 1989 ), Fuhrmann and Hansson (J Logic Lang Inf 3:39–74, 1994 ) generalized Partial Meet Contraction to the case of contractions by (possibly non-singleton) sets of sentences. In this (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  26. Computational Logic in Multi-Agent Systems. CLIMA 2011. Lecture Notes in Computer Science, vol 6814.Joao Leite, Paolo Torroni, Thomas Agotnes, Guido Boella & Leon van der Torre (eds.) - 2011 - Springer.
    No categories
     
    Export citation  
     
    Bookmark  
  27. How to construct Remainder Sets for Paraconsistent Revisions: Preliminary Report.Rafael Testa, Eduardo Fermé, Marco Garapa & Maurício Reis - 2018 - 17th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING.
    Revision operation is the consistent expansion of a theory by a new belief-representing sentence. We consider that in a paraconsistent setting this desideratum can be accomplished in at least three distinct ways: the output of a revision operation should be either non-trivial or non-contradictory (in general or relative to the new belief). In this paper those distinctions will be explored in the constructive level by showing how the remainder sets could be refined, capturing the key concepts of paraconsistency in a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  5
    Entre a Poesia e a História: Vico e a Busca Pelo Verdadeiro Homero.Eduardo Leite Neto - 2024 - Kínesis - Revista de Estudos Dos Pós-Graduandos Em Filosofia 16 (40):164-186.
    A interação entre o direito, filosofia, filologia, história e literatura, proporcionou ao pensamento de Giambattista Vico (1668-1744) o trânsito nas várias disciplinas do conhecimento humano. Nessa articulação multidisciplinar na qual buscava traçar a genealogia da sociabilidade humana, a figura de Homero é destacada pelo autor ao identificar nos poemas homéricos os dois grandes tesouros da gentilidade. No seu opus magnum, a Scienza Nuova, dedica ao terceiro livro ''Sulla discoverta del Vero Omero'' uma análise detalhada acerca dos poemas homéricos e sua (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. On the logic of theory change: Contraction without recovery. [REVIEW]Eduardo L. Fermé - 1998 - Journal of Logic, Language and Information 7 (2):127-137.
    The postulate of Recovery, among the six postulates for theory contraction, formulated and studied by Alchourrón, Gärdenfors and Makinson is the one that has provoked most controversy. In this article we construct withdrawal functions that do not satisfy Recovery, but try to preserve minimal change, and relate these withdrawal functions with the AGM contraction functions.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  30.  13
    On updates of hybrid knowledge bases composed of ontologies and rules.Martin Slota, João Leite & Theresa Swift - 2015 - Artificial Intelligence 229 (C):33-104.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  21
    Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility result.Maurício D. L. Reis, Eduardo Fermé & Pavlos Peppas - 2016 - Artificial Intelligence 233 (C):122-141.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  21
    On the limits of forgetting in Answer Set Programming.Ricardo Gonçalves, Matthias Knorr, João Leite & Stefan Woltran - 2020 - Artificial Intelligence 286 (C):103307.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  57
    Belief Revision and Computational Argumentation: A Critical Comparison.Pietro Baroni, Eduardo Fermé, Massimiliano Giacomin & Guillermo Ricardo Simari - 2022 - Journal of Logic, Language and Information 31 (4):555-589.
    This paper aims at comparing and relating belief revision and argumentation as approaches to model reasoning processes. Referring to some prominent literature references in both fields, we will discuss their (implicit or explicit) assumptions on the modeled processes and hence commonalities and differences in the forms of reasoning they are suitable to deal with. The intended contribution is on one hand assessing the (not fully explored yet) relationships between two lively research fields in the broad area of defeasible reasoning and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Considerações historiográficas acerca da lógica dos estoicos.Cleverson Leite Bastos & Paulo Eduardo de Oliveira - 2011 - Princípios 18 (29):37-47.
    Normal 0 21 false false false MicrosoftInternetExplorer4 O presente estudo pretende analisar algumas questões relacionadas à forma como a historiografia avaliou a contribuiçáo lógica oferecida pelos filósofos estoicos. Trata-se, sobretudo, de dois posicionamentos em aberta oposiçáo: uma primeira análise é essencialmente negativa e depreciativa, negando qualquer valor às elaborações estoicas no campo da lógica; de outra parte, existe uma revalorizaçáo da importância da lógica dos estoicos na história da Filosofia, de modo geral, e na história da Lógica, especificamente. A principal (...)
    No categories
     
    Export citation  
     
    Bookmark  
  35.  18
    Activist research in the global quest for social justice.Eduardo Vianna, André Sales & João Otavio Garcia - 2021 - Outlines. Critical Practice Studies 22 (1):1-5.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  22
    Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004.José Júlio Alferes & João Leite - 2007 - Journal of Applied Logic 5 (3):389-391.
  37.  31
    Formal epistemology and logic.Horacio Arló-Costa & Eduardo Fermé - 2009 - In Susana Nuccetelli, Ofelia Schutte & Otávio Bueno, A Companion to Latin American Philosophy. Malden, MA: Wiley-Blackwell. pp. 482–495.
    This chapter contains sections titled: Belief Revision in Latin America: The Legacy of Carlos Alchourrón The AGM Approach The Logic of Theory Change and Epistemology What Is an Epistemic State? Departures from AGM References.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  18
    Shielded base contraction.Marco Garapa, Eduardo Fermé & Maurício D. L. Reis - 2018 - Artificial Intelligence 259 (C):186-216.
  39.  68
    Desafios nas ações de atenção primária: estudo sobre a instalação de programa de visitas domiciliares para mães adolescentes.João Eduardo Coin-Carvalho & Fabiana Cristina Federico Esposito - 2012 - Revista Aletheia 37:149-161.
    A Estratégia Saúde da Família (ESF) busca se confirmar como intervenção emancipadora e transformadora dos sujeitos, consideradas a preocupação com o acolhimento e a especificidade da atenção, como no caso mães adolescentes. O objetivo deste trabalho foi estudar as condições para a implantação de um ..
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  15
    Levi and Harper identities for non-prioritized belief base change.Marco Garapa, Eduardo Fermé & Maurício D. L. Reis - 2023 - Artificial Intelligence 319 (C):103907.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  81
    On Essentialism and Existentialism in the Husserlian Platonism: A Reflexion Based on Modal Logic.Carlos Lobo, Cleverson Leite Bastos & Carlos Eduardo de Carvalho Vargas - 2015 - Axiomathes 25 (3):335-343.
    Departing from modal logic, Jean-Yves Girard, as a logician interested in philosophy, presented a distinction between essentialism and existentialism in logic. Carlos Lobo reflected about the Girard’s concept to reinterpret the Husserlian Platonism in regard of the status of logical modalities. We start rescuing the notion of modal logic in the Edmund Husserl’s works, especially Formal and Transcendental Logic and First Philosophy. Developing this reflexion, we propose a new contribution to this discussion, reinterpreting the platonic influence in the Husserlian notions (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  20
    Dose-Response Transcranial Electrical Stimulation Study Design: A Well-Controlled Adaptive Seamless Bayesian Method to Illuminate Negative Valence Role in Tinnitus Perception.Iman Ghodratitoostani, Oilson A. Gonzatto, Zahra Vaziri, Alexandre C. B. Delbem, Bahador Makkiabadi, Abhishek Datta, Chris Thomas, Miguel A. Hyppolito, Antonio C. D. Santos, Francisco Louzada & João Pereira Leite - 2022 - Frontiers in Human Neuroscience 16.
    The use of transcranial Electrical Stimulation in the modulation of cognitive brain functions to improve neuropsychiatric conditions has extensively increased over the decades. tES techniques have also raised new challenges associated with study design, stimulation protocol, functional specificity, and dose-response relationship. In this paper, we addressed challenges through the emerging methodology to investigate the dose-response relationship of High Definition-transcranial Direct Current Stimulation, identifying the role of negative valence in tinnitus perception. In light of the neurofunctional testable framework and tES application, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  4
    Elementos da comunicação e pressupostos para a estruturação do self e da identidade organizacional.Marcilene Machado Reinert, João Eduardo Chagas Sobral & Marli Teresinha Everling - 2024 - Aoristo - International Journal of Phenomenology, Hermeneutics and Metaphysics 7 (3):95-104.
    A construção da identidade organizacional no século XXI está intrinsecamente ligada à comunicação e ao discurso, especialmente após a aceleração das transformações digitais impulsionadas pela pandemia. Este artigo explora como a identidade discursiva das organizações, particularmente startups, é formada e comunicada através de interações contínuas e discursos que moldam a percepção interna e externa da organização. A análise se baseia em teorias de autores como Albert e Whetten (1985), Brewer (1991; 1996) Charaudeau (2009), Maingueneau (2008) e Jung (2009), enfatizando a (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  43
    Modulation of Serum Brain-Derived Neurotrophic Factor by a Single Dose of Ayahuasca: Observation From a Randomized Controlled Trial.Raíssa Nóbrega de Almeida, Ana Cecília de Menezes Galvão, Flávia Santos da Silva, Erick Allan dos Santos Silva, Fernanda Palhano-Fontes, João Paulo Maia-de-Oliveira, Lobão-Soares Barros de Araújo, Bruno Lobão-Soares & Nicole Leite Galvão-Coelho - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  17
    Reactive multi-context systems: Heterogeneous reasoning in dynamic environments.Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite & Jörg Pührer - 2018 - Artificial Intelligence 256 (C):68-104.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. The Refined Extension Principle for Semantics of Dynamic Logic Programming.José Júlio Alferes, Federico Banti, Antonio Brogi & João Alexandre Leite - 2005 - Studia Logica 79 (1):7-32.
    Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the question of which are most adequate to model updates. A systematic approach to face this question is to identify general principles against which such semantics could be evaluated. In this paper we motivate and introduce a new such principle the refined extension principle. Such principle is complied with by the stable model semantics for (single) (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  47. Equivalence of defeasible normative systems.José Júlio Alferes, Ricardo Gonçalves & João Leite - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):25-48.
    Normative systems have been advocated as an effective tool to regulate interaction in multi-agent systems. The use of deontic operators and the ability to represent defeasible information are known to be two fundamental ingredients to represent and reason about normative systems. In this paper, after introducing a framework that combines standard deontic logic and non-monotonic logic programming, deontic logic programs (DLP), we tackle the fundamental problem of equivalence between normative systems using a deontic extension of David Pearce’s Equilibrium Logic and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  37
    Design and Implementation Factors for Performance Measurement in Non-profit Organizations: A Literature Review.Fernanda T. Treinta, Louisi F. Moura, José M. Almeida Prado Cestari, Edson Pinheiro de Lima, Fernando Deschamps, Sergio Eduardo Gouvea da Costa, Eileen M. Van Aken, Juliano Munik & Luciana R. Leite - 2020 - Frontiers in Psychology 11.
    Purpose: Performance measurement systems (PMS) in Nonprofit Organizations (NPOs) are more complex than in for-profit organizations. NPOs have an orientation towards social mission and values, and they consider not only organizational efficiency and viability, but also the social impact of the organization. This research provides a comprehensive synthesis of PMSs in NPOs. Design/methodology/approach: Using a literature review, supported by bibliometric and network analyses. A paper set of 240 articles related to this research field is examined. Topics that are the most (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  80
    Pre-match Warm-Up Dynamics and Workload in Elite Futsal.Nuno Silva, Bruno Travassos, Bruno Gonçalves, João Brito & Eduardo Abade - 2020 - Frontiers in Psychology 11.
    Warming up prior to competition is a widely accepted strategy to increase players’ readiness and achieve high performances. However, pre-match routines are commonly based on empirical knowledge and strongly influenced by models emerging from elite team practices. The aim of the present study was to identify and analyze current pre-match warm-up practices in elite futsal. Forty-three elite players were analyzed during their pre-match warm-up routines during the Portuguese Futsal Cup Final 8. Warm-up tasks were classified according to duration, type of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50. Wittgenstein: Notas Sobre Lógica, Pensamento e Certeza.Juliano Santos do Carmo, Eduardo Ferreira das Neves Filho, Alexandre Noronha Machado, Darlei Dall'Agnol, Janyne Satler, João Vergílio Gallerani Cuter, Jonadas Techio, Rogério Saucedo & Victor Krebs - 2014 - NEPFIL online | Dissertatio's Series of Philosophy.
    O objetivo desta publicação é incentivar a produção filosófica de excelência por parte de pesquisadores notadamente influenciados pela filosofia de Wittgenstein e cujos temas possam suscitar um debate aprofundado. Além de desafiar o empreendimento filosófico contemporâneo, os temas aqui apresentados abordam questões que muitas vezes estão além daquelas consideradas por Wittgenstein em seu tempo. O leitor encontrará neste volume questões relacionadas ao ceticismo semântico e epistêmico, ao relativismo ético, às leituras literárias de Wittgenstein, ao problema das outras mentes e percepção (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 951